Henry, François, érudit français